Lambda calculus - PDFSEARCH.IO - Document Search Engine

Lambda calculus
Results: 1452

#	Item
901	May 9, [removed]:31 WSPC/Trim Size: 11in x 8.5in for Proceedings Add to Reading List Source URL: www.cs.ucr.edu Language: English - Date: 2008-05-09 20:20:35 Lie algebras Combinatory logic Lambda calculus Logic in computer science Weight Sheaf Vector space Algebra Abstract algebra Mathematics
902	Alignment of Teaching and Learning Activities (TLA) and Assessment Tasks (AT) with Learning Outcomes (LO) Description of Activities Add to Reading List Source URL: www.ctl.ualberta.ca Language: English - Date: 2014-02-11 13:32:22 Combinatory logic Lambda calculus Logic in computer science
903	Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1 Add to Reading List Source URL: mirrors.ucr.ac.cr Language: English - Date: 2013-08-06 13:14:53 Computability theory Boolean algebra Functions and mappings Lambda calculus Theoretical computer science Monad Boolean data type Function Conditional Mathematics Computing Mathematical logic
904	Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1 Add to Reading List Source URL: mirrors.hust.edu.cn Language: English - Date: 2013-08-06 13:14:53 Computability theory Boolean algebra Functions and mappings Lambda calculus Theoretical computer science Monad Boolean data type Function Conditional Mathematics Computing Mathematical logic
905	Optimal Algorithms and Inapproximability Results for Every CSP? [Extended Abstract] Prasad Raghavendra ∗† Dept. of Computer Science and Eng. University of Washington Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2008-03-16 22:17:02 Symbol Normal distribution Lambda calculus MAX-3SAT Spectral theory of ordinary differential equations Applied mathematics Mathematics Theoretical computer science
906	A Computational Approach to Reflective Meta-Reasoning about Languages with Bindings∗ Aleksey Nogin Alexei Kopylov Xin Yu Add to Reading List Source URL: authors.library.caltech.edu Language: English - Date: 2012-12-26 09:14:14 Theoretical computer science Grammar Formal languages Logic programming Type theory Higher-order abstract syntax Free variables and bound variables Lambda calculus Syntax Mathematics Logic Software engineering
907	Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1 Add to Reading List Source URL: get-software.net Language: English - Date: 2013-08-06 13:14:53 Computability theory Boolean algebra Functions and mappings Lambda calculus Theoretical computer science Monad Boolean data type Function Conditional Mathematics Computing Mathematical logic
908	Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1 Add to Reading List Source URL: www.math.mun.ca Language: English - Date: 2013-08-06 12:14:00 Computability theory Boolean algebra Functions and mappings Lambda calculus Theoretical computer science Monad Boolean data type Function Conditional Mathematics Computing Mathematical logic
909	Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1 Add to Reading List Source URL: mirrors.hust.edu.cn Language: English - Date: 2013-08-06 13:14:53 Computability theory Boolean algebra Functions and mappings Lambda calculus Theoretical computer science Monad Boolean data type Function Conditional Mathematics Computing Mathematical logic
910	Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1 Add to Reading List Source URL: ctan.ijs.si Language: English - Date: 2013-08-06 12:14:00 Computability theory Boolean algebra Functions and mappings Lambda calculus Theoretical computer science Monad Boolean data type Function Conditional Mathematics Computing Mathematical logic

UPDATE